C4^2.14C2^3 - GroupNames

G = C₄².₁₄C₂³ order 128 = 2⁷

14^th non-split extension by C₄² of C₂³ acting faithfully

p-group, metabelian, nilpotent (class 3), monomial

Aliases: C₄².₁₄C₂³, (C₂xD₄):₂₈D₄, C₄:C₈:₅C₂², D₄.₇(C₂xD₄), C₄:D₈:₁₉C₂, C₄:C₄.₃₃₅D₄, C₂.₈(D₄oD₈), (C₄xD₄):₃C₂², (C₂²xD₈):₉C₂, (C₂xD₈):₁₇C₂², C₄:₁D₄:₅C₂², (C₂xC₈).₁₆C₂³, C₄.₇₂(C₂²xD₄), D₄.₂D₄:₁₄C₂, C₄.₃₃(C₄:D₄), C₄:C₄.₃₈₂C₂³, (C₂xC₄).₂₄₅C₂⁴, C₂²:C₄.₁₃₆D₄, (C₂xSD₁₆):₉C₂², (C₂xD₄).₅₂C₂³, C₂³.₄₄₂(C₂xD₄), C₄.₄D₄:₅C₂², (C₂xQ₈).₃₉C₂³, D₄:C₄:₆₄C₂², C₂².₁₁C₂⁴:₉C₂, C₂².₂₉C₂⁴:₈C₂, Q₈:C₄:₆₈C₂², C₂³.₂₄D₄:₈C₂, C₂³.₃₇D₄:₈C₂, C₂².₈₀(C₄:D₄), (C₂²xC₈).₁₃₉C₂², (C₂²xC₄).₉₇₅C₂³, C₄².₆C₂²:₃C₂, C₂².₅₀₅(C₂²xD₄), (C₂²xD₄).₃₄₀C₂², (C₂xM₄(2)).₅₂C₂², C₄²:C₂.₁₀₀C₂², (C₂xC₈:C₂²):₁₆C₂, C₄.₁₅₅(C₂xC₄oD₄), (C₂xC₄).₄₆₅(C₂xD₄), C₂.₆₃(C₂xC₄:D₄), (C₂xC₄).₂₇₆(C₄oD₄), (C₂xC₄oD₄).₁₁₇C₂², SmallGroup(128,1773)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₂xC₄ — C₄².₁₄C₂³

Chief series

C₁ — C₂ — C₄ — C₂xC₄ — C₂²xC₄ — C₂²xD₄ — C₂².₁₁C₂⁴ — C₄².₁₄C₂³

Lower central

C₁ — C₂ — C₂xC₄ — C₄².₁₄C₂³

Upper central

C₁ — C₂² — C₄²:C₂ — C₄².₁₄C₂³

Jennings

C₁ — C₂ — C₂ — C₂xC₄ — C₄².₁₄C₂³

Generators and relations for C₄².₁₄C₂³
G = < a,b,c,d,e | a⁴=b⁴=c²=d²=1, e²=a²b², ab=ba, cac=a^-1b², ad=da, eae^-1=ab², cbc=dbd=b^-1, be=eb, dcd=bc, ece^-1=a²b²c, de=ed >

Subgroups: 620 in 263 conjugacy classes, 100 normal (26 characteristic)
C₁, C₂, C₂, C₂, C₄, C₄, C₄, C₂², C₂², C₂², C₈, C₂xC₄, C₂xC₄, C₂xC₄, D₄, D₄, Q₈, C₂³, C₂³, C₄², C₄², C₂²:C₄, C₂²:C₄, C₄:C₄, C₂xC₈, C₂xC₈, M₄(2), D₈, SD₁₆, C₂²xC₄, C₂²xC₄, C₂xD₄, C₂xD₄, C₂xD₄, C₂xQ₈, C₄oD₄, C₂⁴, D₄:C₄, Q₈:C₄, C₄:C₈, C₂xC₂²:C₄, C₄²:C₂, C₄xD₄, C₄xD₄, C₂²wrC₂, C₄:D₄, C₄.₄D₄, C₄:₁D₄, C₂²xC₈, C₂xM₄(2), C₂xD₈, C₂xD₈, C₂xSD₁₆, C₈:C₂², C₂²xD₄, C₂xC₄oD₄, C₂³.₂₄D₄, C₂³.₃₇D₄, C₄².₆C₂², C₄:D₈, D₄.₂D₄, C₂².₁₁C₂⁴, C₂².₂₉C₂⁴, C₂²xD₈, C₂xC₈:C₂², C₄².₁₄C₂³
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂xD₄, C₄oD₄, C₂⁴, C₄:D₄, C₂²xD₄, C₂xC₄oD₄, C₂xC₄:D₄, D₄oD₈, C₄².₁₄C₂³

Smallest permutation representation of C₄².₁₄C₂³
►On 32 points

Generators in S₃₂

(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)

(1 21 18 26)(2 22 19 27)(3 23 20 28)(4 24 17 25)(5 30 11 16)(6 31 12 13)(7 32 9 14)(8 29 10 15)

(1 32)(2 13)(3 30)(4 15)(5 23)(6 27)(7 21)(8 25)(9 26)(10 24)(11 28)(12 22)(14 18)(16 20)(17 29)(19 31)

(5 30)(6 31)(7 32)(8 29)(9 14)(10 15)(11 16)(12 13)(21 26)(22 27)(23 28)(24 25)

(1 4 20 19)(2 18 17 3)(5 8 9 12)(6 11 10 7)(13 30 29 14)(15 32 31 16)(21 24 28 27)(22 26 25 23)

G:=sub<Sym(32)| (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,21,18,26)(2,22,19,27)(3,23,20,28)(4,24,17,25)(5,30,11,16)(6,31,12,13)(7,32,9,14)(8,29,10,15), (1,32)(2,13)(3,30)(4,15)(5,23)(6,27)(7,21)(8,25)(9,26)(10,24)(11,28)(12,22)(14,18)(16,20)(17,29)(19,31), (5,30)(6,31)(7,32)(8,29)(9,14)(10,15)(11,16)(12,13)(21,26)(22,27)(23,28)(24,25), (1,4,20,19)(2,18,17,3)(5,8,9,12)(6,11,10,7)(13,30,29,14)(15,32,31,16)(21,24,28,27)(22,26,25,23)>;

G:=Group( (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,21,18,26)(2,22,19,27)(3,23,20,28)(4,24,17,25)(5,30,11,16)(6,31,12,13)(7,32,9,14)(8,29,10,15), (1,32)(2,13)(3,30)(4,15)(5,23)(6,27)(7,21)(8,25)(9,26)(10,24)(11,28)(12,22)(14,18)(16,20)(17,29)(19,31), (5,30)(6,31)(7,32)(8,29)(9,14)(10,15)(11,16)(12,13)(21,26)(22,27)(23,28)(24,25), (1,4,20,19)(2,18,17,3)(5,8,9,12)(6,11,10,7)(13,30,29,14)(15,32,31,16)(21,24,28,27)(22,26,25,23) );

G=PermutationGroup([[(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32)], [(1,21,18,26),(2,22,19,27),(3,23,20,28),(4,24,17,25),(5,30,11,16),(6,31,12,13),(7,32,9,14),(8,29,10,15)], [(1,32),(2,13),(3,30),(4,15),(5,23),(6,27),(7,21),(8,25),(9,26),(10,24),(11,28),(12,22),(14,18),(16,20),(17,29),(19,31)], [(5,30),(6,31),(7,32),(8,29),(9,14),(10,15),(11,16),(12,13),(21,26),(22,27),(23,28),(24,25)], [(1,4,20,19),(2,18,17,3),(5,8,9,12),(6,11,10,7),(13,30,29,14),(15,32,31,16),(21,24,28,27),(22,26,25,23)]])

32 conjugacy classes

class	1	2A	2B	2C	2D	2E	2F	2G	2H	2I	2J	2K	2L	4A	4B	4C	4D	4E	···	4L	4M	8A	8B	8C	8D	8E	8F
order	1	2	2	2	2	2	2	2	2	2	2	2	2	4	4	4	4	4	···	4	4	8	8	8	8	8	8
size	1	1	1	1	2	2	4	4	4	4	8	8	8	2	2	2	2	4	···	4	8	4	4	4	4	8	8

32 irreducible representations

dim

type

image

C₁

C₂

D₄

C₄oD₄

D₄oD₈

kernel

C₄².₁₄C₂³

C₂³.₂₄D₄

C₂³.₃₇D₄

C₄².₆C₂²

C₄:D₈

D₄.₂D₄

C₂².₁₁C₂⁴

C₂².₂₉C₂⁴

C₂²xD₈

C₂xC₈:C₂²

C₂²:C₄

C₄:C₄

C₂xD₄

C₂xC₄

C₂

# reps

Matrix representation of C₄².₁₄C₂³ ►in GL₆(F₁₇)

0	16	0	0	0	0
1	0	0	0	0	0
0	0	4	0	15	0
0	0	0	0	1	1
0	0	0	0	13	0
0	0	0	16	4	0

1	0	0	0	0	0
0	1	0	0	0	0
0	0	1	2	0	0
0	0	16	16	0	0
0	0	0	4	0	16
0	0	13	13	1	0

13	11	0	0	0	0
11	4	0	0	0	0
0	0	6	6	0	0
0	0	14	11	0	0
0	0	0	12	3	14
0	0	5	5	14	14

16	0	0	0	0	0
0	16	0	0	0	0
0	0	1	2	0	0
0	0	0	16	0	0
0	0	0	4	0	16
0	0	0	13	16	0

0	16	0	0	0	0
1	0	0	0	0	0
0	0	4	0	15	0
0	0	0	0	1	1
0	0	16	0	13	0
0	0	1	1	4	0

G:=sub<GL(6,GF(17))| [0,1,0,0,0,0,16,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,16,0,0,15,1,13,4,0,0,0,1,0,0],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,16,0,13,0,0,2,16,4,13,0,0,0,0,0,1,0,0,0,0,16,0],[13,11,0,0,0,0,11,4,0,0,0,0,0,0,6,14,0,5,0,0,6,11,12,5,0,0,0,0,3,14,0,0,0,0,14,14],[16,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0,0,0,0,0,2,16,4,13,0,0,0,0,0,16,0,0,0,0,16,0],[0,1,0,0,0,0,16,0,0,0,0,0,0,0,4,0,16,1,0,0,0,0,0,1,0,0,15,1,13,4,0,0,0,1,0,0] >;

C₄².₁₄C₂³ in GAP, Magma, Sage, TeX

C_4^2._{14}C_2^3

% in TeX

G:=Group("C4^2.14C2^3");

// GroupNames label

G:=SmallGroup(128,1773);

// by ID

G=gap.SmallGroup(128,1773);

# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,-2,253,120,758,1018,4037,1027,124]);

// Polycyclic

G:=Group<a,b,c,d,e|a^4=b^4=c^2=d^2=1,e^2=a^2*b^2,a*b=b*a,c*a*c=a^-1*b^2,a*d=d*a,e*a*e^-1=a*b^2,c*b*c=d*b*d=b^-1,b*e=e*b,d*c*d=b*c,e*c*e^-1=a^2*b^2*c,d*e=e*d>;

// generators/relations

G = C42.14C23 order 128 = 27

14th non-split extension by C42 of C23 acting faithfully

G = C₄².₁₄C₂³ order 128 = 2⁷

14^th non-split extension by C₄² of C₂³ acting faithfully